https://signalduo.com/post/why-is-the-product-of-a-rational-and-an-irrational-irrational